Knihy od autora Henk Barendregt

Zobrazené 1 – 4 z 4 výsledkov

1. 

   Lambda Calculus. Its Syntax and Semantics

   Henk Barendregt | College Publications, 2012

   
   

   Skladom u dodávateľa - Odosielame za 10 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   29.80 €

   Zľava 10 %

   Ušetríte 3.31 €

   Kúpiť
2. 

   Lambda Calculus with Types

   Henk Barendregt | Cambridge University Press, 2013

   
   

   Skladom u dodávateľa - Odosielame za 9 - 15 dní

   Jazyk: Angličtina

   Väzba: Pevná

   104.38 €

   Kúpiť
3. 

   Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

   Henk Barendregt | Independently Published, 2020

   
   

   Skladom u dodávateľa - Odosielame za 9 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   18.28 €

   Zľava 7 %

   Ušetríte 1.41 €

   Kúpiť
4. 

   Types for Proofs and Programs

   Henk Barendregt, Tobias Nipkow | Springer, Berlin, 1994

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť

Informujeme vás o každom kroku vybavovania objednávky. Zistite viac